Activity nets: A guided tour through some recent developments
نویسندگان
چکیده
منابع مشابه
A Guided Tour through Some Extensions of the Event Calculus
Kowalski and Sergot’s Event Calculus (EC ) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which properties initiated or terminated by these events hold. In this paper, we conduct a systematic analysis of EC by which we gain a better understanding of this formalism and determine ways of augmenting its expressive power. Th...
متن کاملA guided tour through TYPELAB
This report gives a survey of TYPELAB, a specification and verification environment that integrates interactive proof development and automated proof search. TYPELAB is based on a constructive type theory, the Calculus of Constructions, which can be understood as a combination of a typed λ-calculus and an expressive higher-order logic. Distinctive features of the type system are dependent funct...
متن کاملA Guided Tour through the Data Mining
An important success factor for the eld of KDD lies in the development and integration of methods for supporting the construction and execution of KDD processes. Crucial aspects in this context are the (incre-mental) development of a precise problem description, a decomposition of this top level problem description into manageable and compatible subtasks which can be reused, and a selection and...
متن کاملA Guided Tour through Quadratic Hedging Approaches
This paper gives an overview of results and developments in the area of pricing and hedging contingent claims in an incomplete market by means of a quadratic criterion. We first present the approach of risk-minimization in the case where the underlying discounted price process X is a local martingale. We then discuss the extension to local risk-minimization when X is a semimartingale and explai...
متن کاملA Guided Tour Through Multiview Relations
The aim of this paper is to give the non-specialist reader a comprehensible and intuitive introduction to multiview relations. It focusses on the geometric interpretation of the di erent image relationships, but also presents a concise mathematical formalism which allows to derive the algebraic expressions explicitly in an elementary and uniform manner. Special attention has been paid both to t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of Operational Research
سال: 1995
ISSN: 0377-2217
DOI: 10.1016/0377-2217(94)00184-e